Component-Based Specification of Distributed Systems
نویسندگان
چکیده
منابع مشابه
Component-Based Specification of Distributed Systems
We suggest that hidden algebra can provide a setting for component specification and composition that has the advantages of algebraic specification, without the disadvantages of object-oriented approaches where communication between components is mediated solely by method invocation. We propose a basic composition mechanism for hidden algebraic component specifications that is based on communic...
متن کاملFormal Specification of Object-Based Distributed Systems
* This work is partially supported by HP Brasil PUCRS agreement CASCO (24o TA.). † This author is partially supported by CNPq (Brazil). Abstract. In this paper we present the main characteristics of a graphical and declarative formal specification language, called Object Based Graph Grammars (OBGG), suitable for the specification of distributed systems. We show how one can use OBGG by modeling ...
متن کاملMonitoring Distributed Component-Based Systems
This paper addresses the online monitoring of distributed component-based systems with multi-party interactions against user-provided properties expressed in linear-temporal logic and referring to global states. We consider intrinsically independent components whose interactions are partitioned on distributed controllers. In this context, the problem that arises is that a global state of the sy...
متن کاملBehavioral Specification of Distributed Software Component Interfaces
46 Computer W ith the popularity of the Web and the Internet, networked computers are finding their way into a broader range of environments, from corporate offices to schools, homes, and shirt pockets. This new computing model fosters the development of distributed software components that communicate with one another across the underlying networked infrastructure. A distributed software compo...
متن کاملApplying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems
Manual administration of complex distributed applications is almost impossible to achieve. On one side, work in autonomic computing focuses on systems that are able to maintain themselves, driven by high-level policies. Such a selfadministration relies on the concept of a control loop. On the other side, modeling is currently used to ease design of complex distributed systems. Nevertheless, at ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2006
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2006.05.024